Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Hay una página llamada «Teoría de tipos» en esta wiki.

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a la teoría de conjuntos…
    3 kB (372 palabras) - 17:12 19 mar 2020
  • Miniatura para Teoría de tipos homotópica
    ciencias de la computación, la teoría de tipos homotópica (HoTT /hɒt/, por sus siglas en inglés) son varias líneas de desarrollo de la teoría de tipos intensional…
    2 kB (267 palabras) - 10:53 29 ene 2024
  • Miniatura para Teoría de conjuntos
    formular de cualquier otra teoría matemática.[1]​ La teoría de los conjuntos es lo suficientemente flexible y general como para construir el resto de objetos…
    40 kB (5034 palabras) - 20:51 17 abr 2024
  • La Teoría de tipos es el estudio de sistemas de tipos, que son "métodos sintácticos tratables para proveer la ausencia de ciertos comportamientos de programa…
    10 kB (1278 palabras) - 21:54 25 ene 2024
  • Miniatura para Teoría de la computación
    La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la…
    20 kB (2356 palabras) - 10:03 19 abr 2024
  • estos tipos y cómo interactúan. Un tipo de dato indica un conjunto de valores que tienen el mismo significado genérico o propósito (aunque algunos tipos, como…
    13 kB (1776 palabras) - 22:35 9 dic 2021
  • Miniatura para Teoría de supercuerdas
    La teoría de supercuerdas es un esquema teórico para explicar todas las partículas y fuerzas fundamentales de la naturaleza en una sola teoría, que modela…
    20 kB (2234 palabras) - 17:04 24 ene 2024
  • componen ese tipo de datos. La estructura de datos sería la representación concreta de los datos. Sistema de tipos Teoría de tipos Tipo de dato abstracto…
    11 kB (931 palabras) - 00:03 17 nov 2022
  • En ciencias de la computación la conversión de tipos (type casting en inglés) se refiere a la transformación de un tipo de dato en otro. Esto se hace para…
    2 kB (286 palabras) - 17:52 25 sep 2022
  • Una teoría del todo (o ToE por sus siglas en inglés, Theory of Everything) es una teoría hipotética de la física teórica que explicaría y conectaría en…
    26 kB (3598 palabras) - 07:26 31 mar 2024
  • Miniatura para Teoría de la información
    La teoría de la información, también conocida como teoría matemática de la comunicación (Inglés: mathematical theory of communication) o teoría matemática…
    24 kB (3396 palabras) - 20:07 25 abr 2024
  • La teoría de juegos es un área de la matemática aplicada que utiliza modelos para estudiar interacciones en estructuras formalizadas de incentivos (los…
    68 kB (8584 palabras) - 12:10 26 abr 2024
  • durante el proceso de toma de decisiones. Se pensó en esta teoría debido a que la teoría normativa, trabaja solo bajo condiciones óptimas de decisión y a menudo…
    12 kB (1656 palabras) - 23:02 19 abr 2024
  • Miniatura para Teoría de las limitaciones
    La teoría de las limitaciones o teoría de las restricciones (TOC, por las siglas de Theory of Constraints, en inglés) fue creada por Eliyahu M. Goldratt…
    3 kB (381 palabras) - 14:44 25 ene 2024
  • La teoría de la argumentación es una rama de la filosofía de carácter interdisciplinario que estudia la forma en que se obtienen y se presentan conclusiones…
    8 kB (1204 palabras) - 12:18 26 abr 2024
  • Miniatura para Teoría de la computabilidad
    La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con…
    30 kB (4148 palabras) - 00:23 28 ene 2024
  • Miniatura para Teoría de números
    La teoría de números es la rama de las matemáticas que estudia las propiedades de los números, en particular los enteros, pero más en general, estudia…
    50 kB (6250 palabras) - 13:27 19 abr 2024
  • Miniatura para Teoría
    aplicado: Una teoría no es el conocimiento, permite el conocimiento. Una teoría no es una llegada, es la posibilidad de una partida. Una teoría no es una…
    27 kB (3438 palabras) - 20:35 16 ene 2024
  • distinción entre teoría sociológica y teoría social. En la terminología de Allan, la teoría sociológica consistiría en un conjunto de proposiciones generales…
    10 kB (1328 palabras) - 12:38 30 oct 2023
  • definición, tiene la propiedad de que f(Y(f)) = Y(f) para cualquier función f. Teoría de categorías. Teoría de tipos. Teoría del orden. Cálculo lambda. Datos:…
    1 kB (189 palabras) - 16:12 25 oct 2019
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).